Optimal. Leaf size=188 \[ -\frac{(d g-c h) (c+d x)^{-m-3} (e+f x)^{m+1}}{d (m+3) (d e-c f)}+\frac{(c+d x)^{-m-2} (e+f x)^{m+1} (c f h (m+1)+d (2 f g-e h (m+3)))}{d (m+2) (m+3) (d e-c f)^2}-\frac{f (c+d x)^{-m-1} (e+f x)^{m+1} (c f h (m+1)+d (2 f g-e h (m+3)))}{d (m+1) (m+2) (m+3) (d e-c f)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0982305, antiderivative size = 186, normalized size of antiderivative = 0.99, number of steps used = 3, number of rules used = 3, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125, Rules used = {79, 45, 37} \[ -\frac{(d g-c h) (c+d x)^{-m-3} (e+f x)^{m+1}}{d (m+3) (d e-c f)}+\frac{(c+d x)^{-m-2} (e+f x)^{m+1} (c f h (m+1)-d e h (m+3)+2 d f g)}{d (m+2) (m+3) (d e-c f)^2}-\frac{f (c+d x)^{-m-1} (e+f x)^{m+1} (c f h (m+1)-d e h (m+3)+2 d f g)}{d (m+1) (m+2) (m+3) (d e-c f)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 79
Rule 45
Rule 37
Rubi steps
\begin{align*} \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx &=-\frac{(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}-\frac{(2 d f g+c f h (1+m)-d e h (3+m)) \int (c+d x)^{-3-m} (e+f x)^m \, dx}{d (d e-c f) (3+m)}\\ &=-\frac{(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}+\frac{(2 d f g+c f h (1+m)-d e h (3+m)) (c+d x)^{-2-m} (e+f x)^{1+m}}{d (d e-c f)^2 (2+m) (3+m)}+\frac{(f (2 d f g+c f h (1+m)-d e h (3+m))) \int (c+d x)^{-2-m} (e+f x)^m \, dx}{d (d e-c f)^2 (2+m) (3+m)}\\ &=-\frac{(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}+\frac{(2 d f g+c f h (1+m)-d e h (3+m)) (c+d x)^{-2-m} (e+f x)^{1+m}}{d (d e-c f)^2 (2+m) (3+m)}-\frac{f (2 d f g+c f h (1+m)-d e h (3+m)) (c+d x)^{-1-m} (e+f x)^{1+m}}{d (d e-c f)^3 (1+m) (2+m) (3+m)}\\ \end{align*}
Mathematica [A] time = 0.119008, size = 182, normalized size = 0.97 \[ -\frac{(c h-d g) (c+d x)^{-m-3} (e+f x)^{m+1}}{d (-m-3) (d e-c f)}-\frac{\left (\frac{(c+d x)^{-m-2} (e+f x)^{m+1}}{(-m-2) (d e-c f)}+\frac{f (c+d x)^{-m-1} (e+f x)^{m+1}}{(-m-2) (-m-1) (d e-c f)^2}\right ) (-h (c f (m+1)+d e (-m-3))-2 d f g)}{d (-m-3) (d e-c f)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.008, size = 509, normalized size = 2.7 \begin{align*} -{\frac{ \left ( dx+c \right ) ^{-3-m} \left ( fx+e \right ) ^{1+m} \left ( -{c}^{2}{f}^{2}h{m}^{2}x+2\,cdefh{m}^{2}x-cd{f}^{2}hm{x}^{2}-{d}^{2}{e}^{2}h{m}^{2}x+{d}^{2}efhm{x}^{2}-{c}^{2}{f}^{2}g{m}^{2}-4\,{c}^{2}{f}^{2}hmx+2\,cdefg{m}^{2}+8\,cdefhmx-2\,cd{f}^{2}gmx-cd{f}^{2}h{x}^{2}-{d}^{2}{e}^{2}g{m}^{2}-4\,{d}^{2}{e}^{2}hmx+2\,{d}^{2}efgmx+3\,{d}^{2}efh{x}^{2}-2\,{d}^{2}{f}^{2}g{x}^{2}+{c}^{2}efhm-5\,{c}^{2}{f}^{2}gm-3\,{c}^{2}{f}^{2}hx-cd{e}^{2}hm+8\,cdefgm+10\,cdefhx-6\,cd{f}^{2}gx-3\,{d}^{2}{e}^{2}gm-3\,{d}^{2}{e}^{2}hx+2\,{d}^{2}efgx+3\,{c}^{2}efh-6\,{c}^{2}{f}^{2}g-cd{e}^{2}h+6\,cdefg-2\,{d}^{2}{e}^{2}g \right ) }{{c}^{3}{f}^{3}{m}^{3}-3\,{c}^{2}de{f}^{2}{m}^{3}+3\,c{d}^{2}{e}^{2}f{m}^{3}-{d}^{3}{e}^{3}{m}^{3}+6\,{c}^{3}{f}^{3}{m}^{2}-18\,{c}^{2}de{f}^{2}{m}^{2}+18\,c{d}^{2}{e}^{2}f{m}^{2}-6\,{d}^{3}{e}^{3}{m}^{2}+11\,{c}^{3}{f}^{3}m-33\,{c}^{2}de{f}^{2}m+33\,c{d}^{2}{e}^{2}fm-11\,{d}^{3}{e}^{3}m+6\,{c}^{3}{f}^{3}-18\,{c}^{2}de{f}^{2}+18\,c{d}^{2}{e}^{2}f-6\,{d}^{3}{e}^{3}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (h x + g\right )}{\left (d x + c\right )}^{-m - 4}{\left (f x + e\right )}^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.50452, size = 1805, normalized size = 9.6 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (h x + g\right )}{\left (d x + c\right )}^{-m - 4}{\left (f x + e\right )}^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]